The simplex algorithm and the Hirsch conjecture: Lecture 2

Source URL: madalgo.au.dk

An improved version of the Random-Facet pivoting rule for the simplex algorithm Thomas Dueholm Hansen1 1 Uri Zwick2

Source URL: cs.au.dk

An Almost Optimal Algorithm for Dynamically Updating the Reeb Graph Salman Parsa ∗ This work is about an efficient algorithm for dynamic updates of the Reeb graph. Given a simplicial complex K and a simplex-wise linear

Source URL: fwcg14.cse.uconn.edu

The Random-Facet Simplex Algorithm on Combinatorial Cubes ∗ Bernd G¨artner, ETH Z¨ urich, Switzerland January 11, 2002 Abstract

Source URL: people.inf.ethz.ch

Mixture .... Simplex ..........

Source URL: genome.sph.umich.edu

• Operations research
• Estimation theory
• Probability distributions
• Polytopes
• Simplex
• Topology
• Maximum likelihood estimation
• Mixture distribution
• Expectationmaximization algorithm
• Mathematical optimization

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Two-stage column generation and applications in container terminal management Ilaria Vacca, Transport and Mobility Laboratory, EPFL Matteo Salani, Transport and Mobility Laboratory, EPFL Michel Bierlaire, Transport and M

Source URL: www.strc.ch

• Mathematical optimization
• Operations research
• Numerical analysis
• Linear programming
• Convex optimization
• Column generation
• Duality
• DantzigWolfe decomposition
• Simplex algorithm

Simplex with Sum of Infeasibilities for SMT Tim King⇤ ⇤ New Clark Barrett⇤

Source URL: www.cs.utexas.edu

• Operations research
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Simplex algorithm
• Linear programming
• Simplex
• First-order logic

Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 The Work of Daniel A. Spielman Gil Kalai Dan Spielman has made groundbreaking contributions in theoretical computer

Source URL: www.icm2010.in

• Mathematics
• Computational complexity theory
• Computer science
• Analysis of algorithms
• Linear programming
• Operations research
• Mathematical optimization
• Smoothed analysis
• KleeMinty cube
• Simplex algorithm
• Daniel Spielman
• Algorithm

Linear Programming, the Simplex Algorithm and Simple Polytopes Gil Kalai Institute of Mathematics, Hebrew University of Jerusalem, Jerusalem, Israel e:mail: May 6, 1997

Source URL: www.ma.huji.ac.il